Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
81	Superhedging and Dynamic Risk Measures under Volatility Uncertainty Marcel Nutz ∗ Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2012-06-19 13:31:57 Mathematical finance Financial risk Martingale Local martingale Itō calculus Wiener process Random variable Superhedging price Stopping time Statistics Stochastic processes Martingale theory
82	Microsoft PowerPoint - Algebra Unifies Operational Calculi Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 04:35:20 Applied mathematics Lambda calculus Process calculi Computer science Theoretical computer science Process calculus Mathematics
83	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:41 Differential geometry Process calculi Π-calculus Proof theory Entailment Natural deduction Curry–Howard correspondence Logic Deduction Theoretical computer science
84	Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:58:08 Process calculi Ambient calculus Models of computation Deduction Theoretical computer science Propositional calculus Entailment Process calculus Valuation Logic Abstract algebra Mathematics
85	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics
86	Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics
87	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra
88	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:46 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi
89	Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:57:37 Ambient calculus Mathematics Computer science Π-calculus Lambda calculus Mobile Membranes Process calculi Theoretical computer science Applied mathematics
90	Institute for Economic Studies, Keio University Keio-IES Discussion Paper Series Local risk-minimization for Barndorff-Nielsen and Shephard models Takuji Arai Ryoichi Suzuki Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-04-17 06:41:32 Martingale theory Stochastic processes Stochastic calculus Mathematical finance Integral calculus Malliavin calculus Martingale Doléans-Dade exponential Lévy process Statistics Probability theory Mathematical analysis